Actually sum css padding and gtkmisc padding as intended in the previous
patch.
gtk_style_context_get_padding (context, state, border);
gtk_misc_get_padding (misc, &xpad, &ypad);
-
- border->right = border->left = xpad;
- border->top = border->bottom = xpad;
+ border->top += ypad;
+ border->left += xpad;
+ border->bottom += ypad;
+ border->right += xpad;
gtk_style_context_get_border (context, state, &tmp);
border->top += tmp.top;